java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files pnueli-zuck.5.prism --model-input-type prism --property-input-files pnueli-zuck.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 6077 6077
build-model-states-explored 21181 15104
build-model-states-explored 37817 16636
build-model-states-explored 53895 16077
build-model-states-explored 70890 16996
build-model-states-explored 87793 16903
build-model-states-explored 102851 15058
build-model-states-explored 119833 16982
build-model-states-explored 136868 17035
build-model-states-explored 153831 16963
build-model-states-explored 170732 16901
build-model-states-explored 183868 13136
build-model-states-explored 200744 16876
build-model-states-explored 217704 16960
build-model-states-explored 234491 16787
build-model-states-explored 251450 16959
build-model-states-explored 268254 16803
build-model-states-explored 285161 16907
build-model-states-explored 302039 16878
build-model-states-explored 318901 16862
build-model-states-explored 335696 16795
build-model-states-explored 352053 16357
build-model-states-explored 362502 10449
build-model-states-explored 378234 15732
build-model-states-explored 394697 16463
build-model-done 397435 25
iterating
iterating-progress-unbounded 53 0.013881877839475013 1
iterating-done 90 1
model-checking-done 30
command-check-result-is 1.0 live